minimal propositional calculus

極小命題演算